Calculational derivation of pointer algorithms from tree operationsBUTLER, M.Science of computer programming. 1999, Vol 33, Num 3, pp 221-260, issn 0167-6423Article

Correctness of on-line partial evaluation for a Pascal-like languageMEYER, U.Science of computer programming. 1999, Vol 34, Num 1, pp 55-73, issn 0167-6423Article

Stores as homomorphisms and their transformations : A uniform approach to structured types in imperative languagesASTESIANO, E; REGGIO, G; ZUCCA, E et al.Science of computer programming. 1999, Vol 34, Num 3, pp 163-190, issn 0167-6423Article

Strategies for consistency checking based on unificationBOWMAN, H; BOITEN, E. A; DERRICK, J et al.Science of computer programming. 1999, Vol 33, Num 3, pp 261-298, issn 0167-6423Article

Introduction to set constraint-based program analysisAIKEN, A.Science of computer programming. 1999, Vol 35, Num 2-3, pp 79-111, issn 0167-6423Article

State space reduction by non-standard semantics for deadlock analysisDE FRANCESCO, N; SANTONE, A; VAGLINI, G et al.Science of computer programming. 1998, Vol 30, Num 3, pp 309-338, issn 0167-6423Article

A transformation-based optimiser for HaskellJONES, S. L. P; SANTOS, A. L. M.Science of computer programming. 1998, Vol 32, Num 1-3, pp 3-47, issn 0167-6423Article

A sound polymorphic type system for a dialect of C¹SMITH, G; VOLPANO, D.Science of computer programming. 1998, Vol 32, Num 1-3, pp 49-72, issn 0167-6423Article

Linear-time hierarchies for a functional language machine modelROSE, E.Science of computer programming. 1998, Vol 32, Num 1-3, pp 109-143, issn 0167-6423Article

Abstract interpretation using typed decision graphsMAUBORGNE, L.Science of computer programming. 1998, Vol 31, Num 1, pp 91-112, issn 0167-6423Conference Paper

An abstract interpretation for estimating uncaught exceptions in Standard ML programsKWANGKEUNYI.Science of computer programming. 1998, Vol 31, Num 1, pp 147-173, issn 0167-6423Conference Paper

Memoizing purely functional top-down backtracking language processorsFROST, R. A; SZYDLOWSKI, B.Science of computer programming. 1996, Vol 27, Num 3, pp 263-288, issn 0167-6423Article

Leaf treesKALDEWAIJ, A; DIELISSEN, V. J.Science of computer programming. 1996, Vol 26, Num 1-3, pp 149-165, issn 0167-6423Conference Paper

Massive parallelization of divide-and-conquer algorithms over powerlistsACHATZ, K; SCHULTE, W.Science of computer programming. 1996, Vol 26, Num 1-3, pp 59-78, issn 0167-6423Conference Paper

Transformational design and implementation of a new efficient solution to the ready simulation problemBLOOM, B; PAIGE, R.Science of computer programming. 1995, Vol 24, Num 3, pp 189-220, issn 0167-6423Article

ForewordSANNELLA, D.Science of computer programming. 1995, Vol 25, Num 2-3, pp 79-80, issn 0167-6423Conference Paper

A semantics for shapeJAY, C. B.Science of computer programming. 1995, Vol 25, Num 2-3, pp 251-283, issn 0167-6423Conference Paper

Static typing for object-oriented programmingPALSBERG, J; SCHWARTZBACH, M. I.Science of computer programming. 1994, Vol 23, Num 1, pp 19-53, issn 0167-6423Article

Petri-net-based deadlock analysis of process algebra programsRONDOGIANNIS, P; CHENG, M. H. M.Science of computer programming. 1994, Vol 23, Num 1, pp 55-89, issn 0167-6423Article

Gate splitting in LOTOS specifications using abstract interpretationGIANNOTTI, F; LATELLA, D.Science of computer programming. 1994, Vol 23, Num 2-3, pp 127-149, issn 0167-6423Conference Paper

Label algebras and exception handlingBERNOT, G; LE GALL, P; AIGUIER, M et al.Science of computer programming. 1994, Vol 23, Num 2-3, pp 227-286, issn 0167-6423Conference Paper

A theory of qualified typesJONES, M. P.Science of computer programming. 1994, Vol 22, Num 3, pp 231-256, issn 0167-6423Conference Paper

Reversing abstract interpretationsHUGHES, J; LAUNCHBURY, J.Science of computer programming. 1994, Vol 22, Num 3, pp 307-326, issn 0167-6423Conference Paper

Rankers: a classification of synchronization problemsSINGH, A. K; GOUDA, M. G.Science of computer programming. 1993, Vol 21, Num 3, pp 191-223, issn 0167-6423Article

Exceptions for algebraic specifications: on the meaning of but'SCHOBBENS, P.-Y.Science of computer programming. 1993, Vol 20, Num 1-2, pp 73-111, issn 0167-6423Conference Paper